Definición de sistema tag (modelo computacional determinista)
Un sistema tag es un modelo computacional determinista publicado por Emil Leon Post en 1943 como una forma simple del sistema canónico Post. Un sistema tag también podría ser visto como una máquina abstracta, llamada máquina de Post (no debe confundirse con las máquinas Post-Turing).
Este sistema se utiliza en la teoría de la computación y en la matemática discreta para el análisis de lenguajes formales. El sistema tag consiste en dos componentes principales: un alfabeto de símbolos y un conjunto de reglas de reescritura basadas en la formación de parejas y el intercambio entre ellas.
El sistema tag permite la creación de lenguajes formales y la manipulación de estructuras gramaticales. Además, este modelo de computación posee la propiedad de ser universal, es decir, puede simular cualquier máquina de Turing.
Una de las aplicaciones prácticas del sistema tag se encuentra en el campo de la lingüística, donde es utilizado como herramienta para el estudio de la gramática y la sintaxis en diferentes lenguajes naturales. También es utilizado en la teoría de la información para el análisis de códigos y lenguajes de programación.
En resumen, el sistema tag es una herramienta informática útil en la investigación de la teoría de la computación y en el estudio de los lenguajes formales, y su aplicación práctica puede encontrarse en los campos de la lingüística y la teoría de la información.
Resumen: sistema tag
Un sistema tag es un modelo de computadora que Emil Leon Post inventó en 1943. También se conoce como una máquina de Post y es una forma de hacer cálculos de manera determinista. No es lo mismo que las máquinas Post-Turing.
Autor: Leandro Alegsa
Actualizado: 10-06-2023
¿Cómo citar este artículo?
Alegsa, Leandro. (2023). Definición de sistema tag. Recuperado de https://www.alegsa.com.ar/Dic/sistema_tag.php
